possible world semantics

[ˈpɔsəbl wɜː(r)ld sɪˈmæntɪks]
  • 释义

    可能的世界语义学;

数据更新时间:2024-12-23 00:04:55
1、

However, though the Possible World Semantics makes us understanding of modal expressions more intuitively, many problems emerge still.

然而,尽管可能世界语义学能让我们更直观地理解模态逻辑表达式,但是依然衍生出许多问题。

互联网摘选

2、

An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics.

研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释。

互联网摘选

3、

This is also shown by the vagueness of KaKbp → Kap in possible world semantics.

可传递性公式KaKbp→Kap在可能世界语义学上的模糊性,也表明了这一点。

互联网摘选

4、

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

情境语义学对外延模型论和可能世界语义学的批判

互联网摘选

5、

To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.

建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。

互联网摘选

6、

Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.

因此,给出关于范畴位置移动的结构公设,构成特定的范畴类型逻辑系统,即多样模态逻辑,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。

互联网摘选

7、

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

单词帝英语词典(dict.dancidi.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈